翻訳と辞書 Words near each other ・ redcode ・ redex ・ redilisp ・ redirection ・ redirector ・ rednet ltd. ・ redocumentation ・ reduce ・ reduced instruction set computer ・ reduction ・ reduction strategy ・ redundancy ・ redundant array of inexpensive disks ・ redundant array of inexpensive servers ・ redundant arrays of independent disks ・ redundant arrays of inexpensive disks ・ ref-arf ・ refactoring ・ refal ・ reference Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク reduction strategy ： FOLDOC reduction strategy An algorithm for deciding which redex(es) to reduce next. Different strategies have different termination properties in the presence of recursive functions or values. See string reduction, normal order reduction, applicative order reduction, parallel reduction (1995-05-09) スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.